Tool Support for Estimating Software Reliability in Haskell Programs

In late-stage phases of development, action to correct defects can be cost prohibitive. Effective, efficient, and expressive measures of reliability during the development cycle could aid developers by showing early warning indications of where the system might require modification or more testing. In this paper, we present initial research in creating an Eclipse plugin that utilizes two methods for estimating reliability in-process in a functional programming environment. One method is based on testing and static code metrics that can be gathered automatically during the coding process. A feasibility study involving a subset of these metrics was performed. The other method is based on the certification of individual lines or sections of code. These certifications are used in conjunction with the operational profiles of these lines or sections to estimate overall system reliability.